想象一个身份不由你在队伍中的位置决定，而仅仅由你是谁所定义的世界。在离散数学中， 集合 是思想中的主权公民——无序的、互异对象的集合。本模块连接了这些直观的分组与形式逻辑之间的鸿沟，展示了集合运算如何为逻辑联结词提供结构蓝图。
成员资格的语法规则
与有序对 $(a, b)$ 或 $n$-元组中位置至上的情况不同，一个集合 $\{a, b\}$ 仅由其元素决定。因此，$\{a, b\} = \{b, a\}$。这种对顺序的不敏感使我们能够专注于 身份 成员资格的身份。
子集与真子集
包含关系 $A \subseteq B$ 表示 $A$ 的每个元素都位于 $B$ 内。然而， 真子集 $A \subset B$ 要求更多：$B$ 必须至少包含一个不在 $A$ 中的元素。 不在 于 $A$ 中。
幂集
集合 幂集 $\mathcal{P}(S)$ 是 $S$ 所有可能子集的集合。若 $|S| = n$，则 $|\mathcal{P}(S)| = 2^n$，映射出基础可能性的指数级规模。
逻辑桥梁：集合运算
集合运算正是逻辑思维的物理体现：
- 并集 ($A \cup B$)： 逻辑上的 或。属于 $A$ 或 $B$ 的元素。
- 交集 ($A \cap B$)： 逻辑上的 且。同时属于 $A$ 和 $B$ 的元素。
- 互不相交集合 ($A \cap B = \emptyset$)： 相互排斥的逻辑条件。
实例解析：学生数据库
考虑一个数据库 $D_1 = \{\text{加思, 埃琳, 马蒂}\}$。我们定义两个谓词：
- 集合 $A$：身高超过 5 英尺 10 英寸的学生 $\to \{\text{加思, 马蒂}\}$。
- 集合 $B$：名字以 'y' 结尾的学生 $\to \{\text{马蒂}\}$。
集合 交集 $A \cap B$ 得到 $\{\text{马蒂}\}$。这展示了逻辑“且”如何基于重叠标准筛选人群。马蒂是唯一同时满足高个子和名字以 'y' 结尾这两个条件的学生。
🎯 核心原则
一个集合仅由其成员决定；顺序无关紧要。并集与交集等集合运算，是逻辑运算符“或”与“且”的结构先驱。
$x \in A \cup B \iff (x \in A) \lor (x \in B)$
$x \in A \cap B \iff (x \in A) \land (x \in B)$
$x \in A \cap B \iff (x \in A) \land (x \in B)$